Morley’s theorem revisited: Origami construction and automated proof
نویسندگان
چکیده
منابع مشابه
Proof Documents for Automated Origami Theorem Proving
A proof document for origami theorem proving is a record of entire process of reasoning about origami construction and theorem proving. It is produced at the completion of origami theorem proving as a kind of proof certificate. It describes in detail how the whole process of an origami construction and the subsequent theorem proving are carried out in our computational origami system. In partic...
متن کاملA Simple Proof of Sharkovsky's Theorem Revisited
Sharkovsky’s theorem [1], [5], [6] claims its place among the gems of dynamical systems mainly because of its simple hypotheses and strong conclusion. Loosely speaking, it states that, if f is a continuous map from a compact interval I into itself that has a period-m point, then f also has a period-n point whenever m ≺ n in the Sharkovsky’s ordering ≺ of the natural numbers but may not have a p...
متن کاملAnother proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملA New Proof of the Construction Theorem for Stone Algebras
A simple proof is given of Chen's and Grätzer's theorem, which gives a method to construct a Stone algebra from a Boolean algebra and a distributive lattice with 1 by certain connective conditions between the two given lattices. C. C. Chen and G. Grätzer [1] proved originally the Construction Theorem for Stone algebras. In [3] we proved by different method the Construction Theorem for a larger ...
متن کاملModeling Origami for Computational Construction and Beyond
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consisting in folding along a line. In this paper, we formalize origami construction. We model origami paper by a set of faces over which we specify relations of overlay and adjacency. A fold line is determined by a specifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2011
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2010.10.007